How to use the matches! Macro Pattern Matching
dev.to·7h·
Discuss: DEV
🔧functional programming languages
Flag this post
Type inference with TryFrom and ()
reddit.com·2d·
Discuss: r/rust
🐪ocaml
Flag this post
Pain Points of OCaml
quamserena.com·11h·
Discuss: Lobsters, Hacker News
🐪ocaml
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·6h·
Discuss: Hacker News
🔧functional programming languages
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·11h
🔧functional programming languages
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·3h
🦀Rust
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·8h·
Discuss: Hacker News
💻programming
Flag this post
Lowering in Reverse
buttondown.com·21h
🔧functional programming languages
Flag this post
The Siren's Call of Async/Await: A Journey Beyond `try/catch`
dev.to·1d·
Discuss: DEV
🔄Async Rust
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·4h·
Discuss: Hacker News
🦀Rust
Flag this post
News for October 2025
ptreview.sublinear.info·17h
🦀Rust
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🔧functional programming languages
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.com·6h·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·12h·
Discuss: Hacker News
🦀Rust
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·4d
🔧functional programming languages
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🦀Rust
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·1h·
Discuss: Hacker News
🦀Rust
Flag this post
Low-Level Hacks
blog.raycursive.com·14h·
Discuss: Hacker News
🦀Rust
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·2d·
Discuss: Hacker News, r/rust
🦀Rust
Flag this post